Обсуждение:Теорема Дарбу в симплектической геометрии
Перейти к навигации
Перейти к поиску
Нормальное доказательство есть у Ли, в монографии Ли, Энгель про контактные преобразования.
Трюк Мозера.. мда, а нет ли еще "современного" доказательства через, допустим HoTT? 91.199.244.4 12:26, 5 декабря 2023 (UTC)